perm filename AMTI7.360[360,GF] blob
sn#799948 filedate 1985-07-31 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T FC18D@%X↓V@EPα⊗ U@β⊗u8↓@ E0↓@@E0↓`E(↓@`E ↓AE ↓↓ U_↓A@E⊂π∀Aeλ↓BE↓B E↓α@Dx↓B@Tp↓CDhαβDXβB↓$P∧α↓$("⊂C⊃XE`a'Dj ∧↓* ∧A
∧A
⊂(∧A
⊂ ¬↓
⊂ ¬↓
⊂ ∧A
(βA*↓(∧
∧A p(∧A p ¬A p ¬A p ¬A `(¬↓ ` ¬A ` ¬@i` ¬↓ P(∧↓)!_%∧(T !F#q8B`p0Ta0_↓∀ P0↓@ %αα TpαβDhαβ Dh↓C`$`αβ`$Xα∧$Xα∧$Pα∩@DPα∩@DP↓D$P↓D$P↓D$Pαβ@$Pαβ 4X↓C4Xαα@4`αA@Dp¬Td("⊃β1hE`a'Dj ∧↓* ¬↓
¬@j⊂(¬A
⊂ ε↓
⊂ ε↓
⊂ ε↓
(ε↓
εA
εA
εA p(ε↓ p εA p ε@ip ε↓ `(εi` εi` ¬@i` ∧A P(βA)!⊂%∧λT "FcQ8ABTx∀@@`↓∀@@`↓∀@@`↓∀ PX↓T @(↓↓ %λα↓ (↓∀ @ ↓A %αA5α↓5¬T↓4xαA4xα↓ 0↓∪`@(↓↓@$xα↓ 0↓∪@P`↓S@@h↓∪@@h↓∪@@h↓∪ P`↓RBdP⊃(D0
παq8β¬ q()↓↓0⊂)↓↓0⊂)↓↓0⊂(A! _(AP⊂αJ⊂ α@@@⊂(A@_αJ(αj αjX(αip(αip α@Ip α@Ip α@I`('↓ ` '↓ P(%αi X"QλqH∂EbpXβA@∃_¬@`%λαA@0λ↓∀@HαS@@`α∪ @hα∪ 0x↓∪@x↓∩`A↓∩`DPα∩@DPα∩@DP↓BA4P↓BA$P↓C@DPαβTPαβDX↓CDXαα@T`αA@dp¬@@%βA ∀("∩βbE``PααIpX↓Bj ¬↓
¬↓
¬↓
⊂(∧A*⊂ ¬↓
⊂ ¬↓
⊂ ¬↓
(∧A* ¬↓
↓⊂(∧Ip(∧A)p ¬↓ p ¬↓ p ¬↓ `(∧A)` ¬↓ ` ¬↓ ` ¬↓ P(∧A) PααI PααHT $Dα!8AA$x¬T@E⊂α∀@EλαT Eλα∀ EαTEα∀DxαS`Dxα∪`DpαS@Dpα∪@DhαRA$P¬⊃(DP
¬bq8¬αJ@P+A
p +A
`(+↓
` +↓
P(*A
P *A
@(*↓
@ *↓ 0_αA) (α↓ (α↓ (↓A ↓A 0H&↓HT %GD↓8AA 0∧∪a00∧∀@@Xα∀@@Hα∀@@@α∀ P8↓T @0α∀ @(α∀ @ ↓TP_α∀@⊂β∀@λ∧∀p⊂α∪`p_α∪`` αS`@8α∪`@8αS@P@α∪@@Hα∪@@HαS@@Pα∪ PPαRA 0∧RA 0∧Q(D`εαq8βαipX)↓
)↓
⊂((A
⊂ (A
((↓
(↓ p('A↓0⊂'A↓0⊂'A↓0⊂'↓! _'↓↓0⊂'↓↓0⊂'↓↓0⊂&A! _%¬ ! "Q R0∪Ebp0βD@tx∧∧!¬⊂αDU⊂αC`e⊂ββ@eλβC uλ↓ @`βT λαα`0λα∀ λαB@ ⊂α∀0⊂αα 0λαT _αα0⊂α∀ _α↓`0_α∀ _αA@ α∪`0 α↓ 0_αS` (α↓0 α∪` (α`0(α∪` (α@@ 0α∪@00α 0(αS@ 8βA@Dp↓↓``8α∪@ 8αBDh↓B@8αRA0↓A!$P∧↓@ 0¬⊃(Dp∂λαq8β↓a⊂@'B↓H)↓A _)↓A ⊂)↓a⊂⊂(@`⊂ ∧j⊂⊂↓↓↓⊂(@@ (β@J⊂⊂↓Ap⊂(`0(α@j⊂αAP⊂(@P(αJ⊂β↓@⊂'@``(↓ip⊂∧↓ ⊂'@A(@Ip⊂∧A⊂⊂'a⊂8'A0('A0('A@ &@a@ %α↓0⊂%α↓0⊂"Q q@∂¬bpXβTa5λαA Eαα 4x↓B`Dp↓C 4h↓C@D`αβ@DXαβ`DXαβ`DPα∧DPα∧DPα∧DPαβ`DP↓DDP↓D4P↓C`DPαβ DPαβ 4X↓C4Xαα D`αA Tp¬Td("∀β⊃XE`a'DJ ∧↓
∧A
∧A
⊂(∧A
⊂ ¬↓
⊂ ¬↓
⊂ ∧A
(∧@j ∧↓
x(β)p('A p 'A `('↓ ` '↓ P(%αI P"Q
⊃@∂πBpXβTa5λαA Eαα 4x↓B`Dp↓C 4h↓C@D`αβ@DXαβ`DXαβ`DPα∧DPα∧DPα∧DPαβ`DP↓DDP↓D4P↓C`DPαβ DPα↓@(↓R`0_β`4Xα@ ⊂↓ D`β@@dp¬A%βA@%(↓↓ 5(↓↓ 5(↓@@E(∧∃!¬(βU@T("∀C!`E``p'DJ βA* ∧A
∧A
⊂(∧A
⊂ ¬↓
⊂ ¬↓
⊂ ∧A
(∧↓
βA*p(β p(αA p βA p ∧ip ∧i`(βA ` ∧↓ ` ∧↓ ` ∧↓@⊂&A! ↓@I Pβα PβA(T )E#↓8B@`_↓∀A⊂λ↓T 0(αT08α∪`0H↓S`0H↓S@0P↓∪@@H↓∪@DpβSa%¬∀!% βVE@α∪ X↓R`0P↓R`0P↓R`0P↓∩`@@↓R@p α∩@0λ¬∩@ β⊃(E
λαq8↓ε 1H%@A ∧I0⊂∧↓↓⊂%@A ∧I _βA p_%A ∧I ⊂∧↓↓⊂%A ∧J0()A
0 )A
()↓
)↓
⊂((A
⊂ (A
(&β)@`"Q
QH⊂¬bpλ¬↓A∧P¬A!∀hαβ4hαβ$hαβ$`αB`4`αβ$`αβ$`αβ$XαB`4Xαβ$Xαβ$Xαβ$PαB`4Pαβ$Pαβ$Pαβ$Pαα`$Pαα`$Pαα@$X↓B $Xα↓@4h¬∪@d("∃C∩E`P∧↓i PβB P ε↓ P εIP ¬@iP ¬iP(∧@I` ∧i` β@i` β@I` βi` α@i`(αIp ↓@ip ↓ip ↓Ip @ip8'AIp0(↓
_(j⊂"Q
rλ∀EbpλβA↓⊂0β∩A ∧A t`αα @H↓S@Hαα $`ααP@↓S@@αB$`α↓``8↓S@0βA@4`α↓@ λα↓@$`α↓ 0λα↓ 4`αA ⊂αA$hα`0_α`4hα` α`$hα@0 α@4hα 0(α 4hα 0α $hβA@thβ↓`dhβ↓`dhαBThαα Dhαα Dp↓α`$p↓α`$("⊗βrE``Pβα*Pβα
0(∧A*@ ∧@j@(β@jP αA
P α↓
P(↓j` @j`8+A*p(+A*`8*@`⊂ *` ()@`@ )`P((@`p (a('@a &A! (%α pP%α pH"Q⊃H⊂¬bp¬αtP¬↓a∧hαα`DhαB@4pαα 4pαα4pαA`$xα↓@4xα↓ 4xα@`5α@5α 5βT UλαT Eλα∀Uα∀Eα∪`T`¬∪↓$("⊗C↓XE`qλ(∧J⊂¬↓*⊂∧A*⊂∧↓)p_βA)p⊂βA)p⊂β↓)p⊂β↓
`(*A*@()A* ((A `⊂(↓ p⊂'A!⊂'A↓_'↓!⊂&A!⊂⊂&↓! ⊂%A! _%∧I!⊂"Q⊃
Cap0↓@ 4p∧S 0_α∪0 α∩`00↓R`0(α∩@00↓R@00↓R@00↓R@0(α∩@ 0↓@`$P↓↓@0_↓∩@ (α@4P↓@`Pλ↓R``λβ∪@_α⊃(F⊂ε∧#↓@AI00&A P_&@iP_&↓ @_&i@_A 0P%A 0⊂%A@_%@`P_%↓P_%``_%``_%``_%`P_%@`_%@`⊂%@P_%`0_%Ai@ "Q0`λCap0αSA∧h↓@`4`↓@`DX↓ADX↓A $P↓R@4P↓R@4P↓∩@ @↓∩@00↓R` α∩a∀hαQ(F λ¬#↓@¬↓J@0+↓
`_+j`_*A
P_*@j_↓i`P&@`0 &`@ %@``_%@`P %``_%``_%``_%`P %@`_↓@I ⊂β`0⊂%@P ↓i _↓A ⊂_%A@⊂0&↓0 "QP`λCap0αSA∧h↓@`4`↓A4X↓ADX↓@@TP¬∩A∧P↓R@4P↓R@00↓R@0(α∩` α∪↓∧hβ⊃(F0λDβq@ε↓
P0*↓j@8)@` ⊂)@j0_)@j 'B)pH)j _)j⊂ (@j⊂_(@j⊂_(↓
_(j_(ip_'@ip_%@@ ⊂%↓i 8%↓I0 "Qpp ¬Ap8↓@ 4x∧S@0_α∪ 0 α∪00↓S0(α∩`00↓R`00↓R`00↓R`0(α∩` 0↓R` 0↓R` (α∩`0_αS↓∀hα 5⊂↓T DX↓↓4Pα@DPα DP∧∩`T("~α!(ε00&AIp '@ip_'@i` 'i`_'`⊂(&BiP0↓↓ P(αiP α@i@(α↓ @ α@i@ α@i@_αA 0 α@i0_β`0⊂%@`P ↓@I0_α@`0_%↓P_↓i _βAI _∧↓λT 4BAQ@↓`%α∀Eλ↓⊃`Dh↓R`dX↓@ $P↓@ 4P↓@4P↓@4hα∪ 4h↓SD`↓@@$Xα@$X↓@@4X↓@ 4`αS 4("~Bx∂F↓P⊂+↓
` +@Hp (A
0'@` _'`0_'@@_'@0 )@j0_)@j )j _)j⊂ (@j⊂_(@j %@@0_%↓⊂ %α 8%A(T 5Dα1@`dhβ∪`Dx↓S`4x↓S@Dp↓S@4p↓A Dhα`dh↓@`th↓@@0λα∪ 0λ↓@`$`βSd`βS0λα∩`@_↓R`0 ↓@`$X↓A0_↓∩`0 ↓@@4Pα↓0λ↓R@0(β∩@00α⊃(F`∧αc↓@↓A)P('↓ `_'i`_&A P_&@iP_&↓ @_&i@_%A 0_%@i0_%↓ _↓I _↓I _@i _@I 0%AλT 6G$⊂xπ@@0(αA TXα@A⊂∧∩@0λβ@A⊂α∩@ ⊂αA P(↓R@ ⊂αA P(↓R@ λαA P(α∪ @0α↓@4hα↓@@0↓S 08↓A@D`α↓@@0↓S08↓A`0⊂↓∪08↓A@@⊂↓∪08↓A@0⊂↓R`@0α↓@0λ↓R`08↓BTX↓A`0H↓Q(Fp Eapx↓`@(%A 8%`⊂0↓↓ ⊂↓↓ @_%@ α@i ⊂A @ &AP_&AP_&@`P &↓P_&``_↓@I@_αA0⊂&`P_↓@i0 α@` _%@`p0%@a "Q
pp Cap0αSA∧h↓A4`↓A@4X↓A`4X↓A`4P↓B4P↓B4P↓B4P↓A`4P↓α4P↓α$P↓A@$X↓↓4X∧∪ D("≤α⊃_β`@_α↓ P(Ai@_A 0⊂&@ αi@⊂↓`P_&@⊂ α@ip_βip_βip_βi` α@i`_βi`_βI`_α@iP(↓@iPP&@`⊂ &@i@ &i@_&i 8%↓hT 8Cb10πA@@_↓∪A4h↓@`T`↓A DX↓A@DX↓A@DP↓A`4P↓A`4P↓A`4P↓A@DP↓↓`4P↓↓@DP↓A DP↓@`dX¬∪ @λ↓T@5λα∀ 5λ↓T 4p∧∪A∧("≤AQλπC` _αi0(↓↓) _B) ⊂↓α) ⊂↓↓ ⊂%@⊂ &A P_&@i@ &i@_&i0 %@i0_"Q∞0hλβap0αS`tp↓@`4h↓@`Dh↓@`Dh↓A$hβ∪!∧xβR` (α∩@@(↓R@@(↓R@00↓R@@ ↓Ra∀hαQ(G ¬β"a0α@ip_'@ip_'↓ `_'i P%αIP_&@iP_&↓ @_&i@_%A 0_αI0_↓@i0_↓@I0_A 08&↓λT :DB`xπ@@@8↓R``(α∩` ⊂↓↓ DP↓@ 0(↓R@ ⊂↓A 4P↓@0 α∪ @ ↓S 0(↓S 0(↓S@ α∪0(↓@`$`↓A 0_↓∪0 α@4h↓@@Pλ↓S!Txα@D("≥Aq_πC` α@i00αi0⊂↓@@ %`⊂_α@i ⊂↓`P_%@ _α@iP α@IP_βIP_βI@ α@i@_βI@_α@i@_αiP_↓iP8'AλT ;Ec0xπ@@@8↓@`4Xβ↓ @_↓R` ⊂↓↓ @_α∩@0λ↓A 0(↓R@ ⊂↓A 0(↓R@ ⊂↓A@(↓S @ ↓A@$h↓A 00↓∪ 0(↓A@$`α↓@(↓S0(↓A@$`↓A 0(↓S0 α↓4h↓@@`⊂↓S pλβS`@ α⊃(G@λ∧apxα↓0 &C)@_↓B 0_α`⊂ %@@P_↓I0⊂α↓
⊂_(@j⊂_(↓
_α@I0⊂↓@`P⊂%↓⊂ αi H↓@i 0Ai (↓A(T <DαA0π@@@8↓R``(α∩` ⊂↓↓ DP↓@ 0(↓R@ ⊂↓A 4P↓@0 α∪ @ ↓S 0(↓S 0(↓S@ α∪0(↓S0(↓S0 α∪ 0⊂αS!∀xβT`4X↓↓ 4Pα↓4Pα`4P↓@`4P∧∩`T("≡B⊃_πC`P(α@I`8↓↓ Ph&@`00&@@`_*j0_(A
'@i`_βIP_βi@0↓A 0h%↓ 8%@P "Q↓H
Ebp0 SbE⊂αα@%⊂αα@%⊂αα@%λαB 5λαα@%λαα@%λαα@%αTEα∀DxαS`Dxα∪`DpαS@Dpα∪@DhαRA4P¬Q(@λ
π"q8 K0_-↓⊂0,↓k⊂A
p_A
`_↓↓*P_α↓
@_αA
@⊂β↓*0_βA
_∧↓
⊂_∧A
_¬↓*⊂ε↓ p_ε↓ `_εA)P_πA P⊂λ↓ @_λ↓)1H%εI!P"Q!@∂¬bpXβTa5λαA Eαα 4x↓B`Dp↓C 4h↓C@D`αβ@DXαβ`DXα @↓@DPαA@⊂α∩@@⊂ε@DPαA@⊂α∩@@λ↓A`0λα∩@0⊂↓α ⊂α∩@1↓R@0xα∩@@hα∩@@h↓R`0`↓R`@Hα∪P(αSA5β⊃(@_¬bq8λK⊂_,↓ +A*p(+↓J`0*AjP⊂A
@_A
0_↓↓
0⊂↓A
_↓A* ⊂αA
⊂_αA
⊂⊂β↓
_β↓ p_βA p⊂∧↓ `_∧↓ P ∧↓ 08ααI @ααHT αεβ18AB$x Sb$x↓β@$x↓β@$8↓∀ P↓∪`0H↓Sadxπ∪adp↓B 4p↓α@$8↓∩` p↓∩` p↓∩` p↓∩B4P ∩B$("↓#bE`a@'F* ¬↓
¬↓
¬↓
⊂(∧A*⊂ ¬↓
⊂ ¬↓
⊂ ¬↓
(∧A* ¬↓
¬↓
¬↓ p(∧A)p ¬↓ p ¬↓ p ¬↓ `(∧A)` ¬↓ ` ¬↓ ` ¬↓ P(∧A) PαB) PααHT βπβq8ABe∀Pp↓∀ @p↓∀ Ph↓∀@@`↓T@@`↓∀@PX↓∀`@X↓∀`U α∃U(α∃E_α∀@5λ↓C%↓C4x↓C $p↓C@$`αβ`$Xαβ`4P∩Bd("↓cαE`0(∧A)@8βα 0_↓@`@ ↓@i _α@` α@I ⊂β`⊂ βI ⊂β↓`p⊂)↓J 0)↓* ()↓
)↓
⊂((A
⊂ (A
((↓
(↓ p(%C 0`"Q↓↓0∞¬bp@ε∀A5(α∃ E_βT↓Tpα@ @λαS @_α`D`α↓@ α∩`@ αADPα↓ @(α∩@@(α↓ DPα↓ @(α∩@@ αADPα↓@(α∩@@ α↓DXα`@_α∪@λ¬∪!Tx∧∀ EαS↓D`ε⊃(@Hλαq8βC
⊂X*↓
@ %↓` αA) (α↓ @0%A@ αA 0 α↓@(%A@ α↓ (↓A 0(%↓@ α↓ α↓@ %↓@ ↓A) ↓A (%↓ ↓A 0 ↓↓ (%A ⊂P&βIPX'α
'A)0`%CλT ¬εCQ8C!¬ εT@P8α∀ @Pα∀@`α∪`@hα∪@@pα∪@@pα∪@@pα∪@@hα∪@0pα∪@0hα∪@0hα∪@0`α∪@0`↓S@0Xα∪` X↓S` P↓R` ⊂↓B 0λ↓∩` ⊂↓B0⊂↓∩` ⊂↓A`0_↓∩@0_↓↓`0⊂↓RA0∧∩A0∧⊃(Bλ¬βc↓@βip('↓I`0'↓)`('↓)` &A)P(&A)P &A @(&↓)@ &↓ @ #@)0_%↓) (%↓)0_"Q∧1X⊂πc↓↓↓@%H↓A 5H↓↓@%@↓A 5@↓↓@%8↓A 58↓↓@%0↓A 50↓↓@%(↓A 5(↓↓@$X
∩c%_↓A 5_↓↓@%⊂↓A 5⊂↓↓@%λ↓A 4PRC∀x↓A@$x↓↓@4p↓A@$p↓↓@4h↓A@$h↓↓@4`↓A 4`↓↓@$X↓A 4X↓↓@$P↓A 4P↓↓@$(" #↓x∞ε@` 'AA0⊂'@0_∧@iP⊂α@A_&`P⊂∧I0_β@p_%@``⊂βi0_β@P_%@`P⊂α@i _β@P⊂%@@`⊂αi0⊂α@@@_%@`0⊂αi@0αiP α`@_*@@00*` _↓@J0_↓`@⊂)`0⊂βJ⊂_↓@``⊂(`@_α@J⊂α``⊂'@`@_βI`_α@``⊂&@``_α@I@_β@`@⊂%@a⊂⊂↓@i0⊂¬↓i0⊂¬AλT ∪B↓pX↓4hαS ThαS@Dx↓S`$p↓S 4`↓R@DP↓Q(B@π∧d1PεJ@ )A
(A
⊂_(ip '@i`_'iP_&@i@ &i@_%A 0_%@i0_%@i _%i _%i _%i _%i _%@I0_%@i@_&@i`⊂"Q¬⊂pπHc @↓T@E_↓U5(↓∃ 5(↓U 5(↓U 5(↓U 5(↓U 5(↓U 5 α∃5 ↓U5_α∀`5_↓T@E⊂↓T Eλ↓TE↓S`4pα∪@4h↓R`DPα∩@$("
Aa0πε@p⊂(@J⊂⊂(@I0⊂α 0_%@`0λ↓↓ P@'A ` &`⊂λ@I _↓@ _%@0⊂↓@Ipλ'I`⊂"Q¬1@∞Eb@p↓⊗%8↓U`%8↓∃`%0↓U@%0↓∃@%(↓RC∧P∃ % ↓U% ↓∃%_↓T`%_↓∀`%⊂↓T@$("↓P¬A@_&A)P(&A)`_'@I`_'IP_&i %hT ↔↓! α 4PαR@TPαR`4("ba8⊃FB@⊂/KP_.@K@_-@k0⊂-k ⊂,@k_,Jp_+@J`_*@jP⊂*j@⊂)@j _)J⊂_(@J_'@ip⊂'iP_&@I@_&I0_%i ⊂%HT ≥↓a@xπ@`4`αST`αS 48αR`4PαR@TPαR`4("∞a `β``_'A)p('A*_#A)`_&A)P(&A)`_'@I`_'IP_&i %hT ≡αAQ@λA@4xαS`TxαT48↓∪@Dpα∪ ThαS D`αST`αSDXαR`TXαR@TPαR@TPαR`4("∂#!p∧C !@&ελp(%ε !@"Qλ↓(
FβXβ∀a∃λα↓@%↓B $x↓α`$p↓↓@P⊂↓∪ (∧ $`↓↓ 0 αS ↓A@4X↓↓0@↓∩` ↓B$P↓↓0H↓∩@ ↓B4P↓↓0@↓∩@ ↓B$P↓↓08↓∩@ ↓A@$P↓↓ 0 ↓∩@ 0βR@00αR`$X↓B@4`α↓ dp¬S`t("⊗aaλ⊃FA0)↓J ⊂)J⊂_(@J⊂⊂(@J_(J⊂(Ip_'@Ip⊂'@I`_'I`⊂'IP_&@IP⊂&@I@_&I@⊂&I0_%@I0⊂%@I _%I (%↓(T .C!R_
αU⊂αU %(↓∃5 ↓∃% ↓∀`5_↓∀`%_↓∀@5⊂↓∀@%⊂↓∀ 5λ↓∀ %λ↓∀5↓∀%↓∪`4x↓∪`$x↓∪@4p↓∪@$p↓∪ 4h↓∩@TPαQ(F∧βa1@α@i` &@i@_%@i0⊂%i (%↓I 0%↓I0 "Qε↓⊂¬B`HαT!∀xα↓ 4p↓A`4p↓α $h↓B 4`↓B@4`↓B@$`↓B 4X↓B@4X↓B@4X↓B@4X↓B 4P↓B@4P↓B@4P↓B@$P↓B 4P↓B 4P↓B4P↓A`4X↓A 4`∧S d("!q⊂¬A@⊂+J@ )↓IpH'A⊂_*j@_)A
0_)@j0_)↓
_)j _(A
⊂_(@j⊂_(↓ 0p%βhT →∧BQ0α eλ∧T@ ↓S`P α∪@0λ↓↓ 4h↓@@ (↓S _↓↓ 4h↓@0(↓S λ↓A DhαA Dp↓A E(α∀`UλαS`Tpα∪ 0H↓∪0P↓∩`P@↓Ra α∩@0⊂¬R@0 ∧∩@ 0αQ(C_ ¬"a0∧AJ⊂P(↓@ 'A P_'@@⊂⊂α@i`_@@P_'@ ⊂α@i`⊂@`@ '↓ @ '@`@ (B
⊂8*A
`_+@I0⊂¬i ∧↓ ∧i _∧↓ _βA 0_αA @P&AhT ~∧B1hβ 58↓U`58↓U@E0↓U E(↓U 5 ↓U5_↓T`5⊂↓T 0⊂↓T@⊂↓T0_↓S`0_α∪@0 α∪ 0(↓Ra⊂λ↓RB$P↓↓a∃ ↓U5_α∀`E_↓T`5_↓Q(C( ¬Ba0α@`p_'C)p`'BI`_'I`⊂'IP@&BIP αiP_βIP⊂β@j`_+j`_*@i0⊂∧i βi βI _α@i0H&↓HT ≠∧"a0α Uλ∧T0 ↓S` 0α∪@00α∪ 0@↓∪ $`↓S0⊂α∩`0λβR`P ↓R`@0↓R@@8↓R@@8↓R@0@↓R@0@↓R@08↓R@08↓R@08↓∩@00↓R@@ ↓Ra∧`β⊃(C8 ¬ba0↓@@⊂(α@IPH↓@i@P↓↓ @(↓Ai0 β↓)0_∧@I _∧@i ⊂∧@jP_*j@_)@j0_)j _(@j⊂_(↓
_(ip '@ip_"Qπ↓⊂
EB`HβT!%↓A@4x↓α $x↓α $p↓α@$p↓B4x↓A@4xα`E∧T dx∧∪@@⊂αS 00α∪0@↓R`0P↓∩@0X↓∩@ `↓∩@ `↓∩@0P↓∩`@0↓S↓4pβ⊃(CHλ¬"a0βA*@'@`0 '@`_&@`p_&@A_&a_&`p &`p_%@a_%@a_%@`p &@`(&`00&A`⊂_'↓ *i0⊂β↓ α@i α↓ _↓A) P&↓(T ↓"04P↓R@DX↓S4`↓S $("∧a↓(βεP_'↓ P(&↓ 0 %i ⊂"Qα@P
↓"`↓↓@$P↓A4X↓@ D`β∪Th↓Q(A(ε¬@a@A⊂%@p_%@p⊂%@`_%`0 %B @("Qα`h
@"@εRAT("¬a1PβF@(&α 0⊂βI ⊂β@I ⊂β@I ⊂βI0@&↓(T α" 8A 4pα∪@DpαT4xα∩A∀PβQ(B∧B`@pβ@Ip &↓I 0%hT /α"0(↓ $pα∪ TXα 4Pα@4P↓A$("↔`Pxαε⊂_%↓) (%↓)0_"Q∂P`↓C ↓@@4hα D`¬∪0⊂↓R`0⊂↓R@0⊂↓R@ _↓⊃(GpεE@1@↓A@⊂&↓@⊂ %↓ 0%`@_"Q∂p`↓βλ↓A4Pα@@TPα@@TPα@@TX↓A4(" αqXεα ,↓jp_↓@j`_α@jP_β@JP_βj@ βj@_β@j@_*j0 (α*H)@j )j _)j⊂ %B!⊂%αA⊂%α@` %@0p%↓`⊂P%AP8"Q∧a@∞Fβ@αA`5λβA@Dxα`0(α∪@0(↓A 4p↓↓ @ α∪ 0(α↓4h↓A@ α∪0`α∪0⊂α↓T`¬@dhα` λα $h↓A`⊂↓S↓P ↓∩`0λα@ 0(↓∩`08β@$P↓B P⊂↓∩@0Pα@$P↓D$P↓C`$P↓C@4X↓β@$X↓B`4`α↓`Dp¬Tt("∂Aaλ∧! ⊂)A
0 *Heλα∀e↓@%↓@% ↓∀`5⊂↓T 4xα∪@4h↓A $`↓A DX↓A@DX↓α4X↓α$P↓α4X↓↓@4X↓↓D`∧∪ T("∂aa(ε`('α P αI@_β@I0_∧I0⊂∧@I _∧I β@I α@i0⊂α@j⊂_(i` &@iP⊂&I@⊂↓@I@⊂↓i@0&Aλd`↓∩`DXα∪$("∧↓⊂`πC`0_%AI0_@I _@i ⊂↓i ⊂↓iP &@iP_&↓ @_↓I0 ↓I0_↓i0_@i@(&@hT λC!A0πA`Eβ∪`0⊂↓S@0_↓S@ ↓S@ _α∀`5_↓T`5⊂α∀@5⊂↓T@5λα∀ 5λ↓T 5α∩` _↓R@@λα∩A∧PβR`T("ε"a(∂F↓P8+α*P_α↓
@_βj@_βj0 βj0_β↓
0_βj0_βj0α@j0α@J _α@j _α@J _α@J _α@J⊂ α@j⊂_βj⊂_β@j⊂_β@j⊂_β@j⊂(α@j8↓A
8↓↓
`(`⊂8'@ip_%@@ _%↓i 8%↓I0 "Qβ!8
Cap`↓@@U εTA⊂_↓TPλα↓4xα@@ α∪ @ α@T`α↓!$`↓AA∧X↓A@DPα↓@DP↓A`DP↓A`@0↓R@00αA DX↓↓ ` α∩a0λ∧∪ @⊂↓@@d("εbaXπC`` β↓)`8↓B P_α@⊂_↓@i@_αA @_%@`` α↓ 0_β↓ (%`pP%`p@%`p_%`` %@p %@p βi _αA P %`@_@@@ %A`@@&↓ `0"QβA ¬b1⊂↓⊗`5P↓V@%_α@ 5λ¬∀0 α∪` (αS@ (↓@ 4h↓A ⊂↓S0(↓@@4`↓A0_↓S0_↓A4`↓@@0 ↓S0λ↓A 4`↓@ (↓S`(↓∪ @ ↓S!$`∧R`4P↓R@$P↓⊃(Ah∩ "q8πE+↓0-↓a ⊂-@⊂ ¬K⊂_A↓ ⊂,`⊂(∧@k⊂↓↓0⊂α@Jp_↓↓0⊂α@J`_↓A _α@J`⊂↓A _*@`0 ↓j@_αα*@⊂αB*0_α↓ _)β0⊂βJ `↓@@`⊂(@`` ↓@@`⊂(``(¬j⊂βA↓0⊂'@`p ¬@I`_∧↓↓0⊂&Ap(¬i08↓E @↓EλT ∂λe⊃8Bc¬_
∀ P(αα`%α↓`@X↓∪`0Hαα`$p↓B PP↓S 0Pα↓ (↓∪@Pα↓ (↓∩`@Xα`0(↓∩`@Pα@`4Pαα`@_↓R@@X¬∩@@X¬∩@@Pα@`4P↓B`@ ↓↓@$P↓B`@ ↓↓@$P↓B`@ ↓↓@$Pαα PX↓R@@Hαβ$X↓B @`↓∪08αC$hα↓ PX↓SC%⊃(Ax
πc1HL⊂_+↓`0_*βJ (αA*⊂ ∧↓
_∧AIp_¬@⊂_'a _A P ∧@` &↓↓⊂_↓A @ ∧`@ %A↓_αA 0 β@`` %A`_βA 0 α@`p %@`P_∧↓ 0_αa⊂_%@`0_∧A 0 @a⊂ %Aa _&↓! _&↓↓⊂ &↓@P(&@⊂X%@`00%i ⊂"Q↓1`∞πchβ↓E(∧@@e α@@λβU0_β@ E ↓A λ↓@@%_↓B5_↓B5_↓A`E_↓A`4x
∪bE⊂↓B5⊂↓A`E⊂↓A`5⊂↓A`5λα↓`5λ↓B5λ↓A`Eλ↓A`5λ↓A`5α↓`5↓B5↓A`E↓A`5↓A`4x↓B4x↓A`4X↓@P(↓RA0_↓RA0⊂α∩@`λ∧R`@_β⊃(@`F#q@πα
``*AP *`p *a⊂)A
0_)@j0_'DIq⊂)a_)a_)a_)`p (Ap_(@a_(@a_(@`p (@`p_↓@J β@`0⊂(a_↓j_∧`⊂_(a0(a⊂ '@ip_%@@ _%↓i 8%↓I0 "Q↓QHGchβ@@5(¬ 5(↓@a¬ ↓Au ↓A λ↓T`@@↓T`0@α∀`0@↓T`0@↓Sb$x ∀@0@↓T@0@↓T@0@↓T@08α∀ @8↓T 0@↓T 0@↓T 08α∀ 08↓@`%α↓`0_↓∀0@↓@@5↓B0λ↓T0@β∀0Hα∪`4x↓R` ⊂↓R@tPβR@dXα⊃(@p∪ Cq@εBPH*C⊂h*↓P@β↓
@_β↓A )@a(∧@J0_∧@j0_∧@j ∧@j _∧A b'λ
_∧@a⊂_)a⊂_∧@j⊂ ∧↓↓⊂_(@a⊂_∧A
⊂_∧@a⊂_(@a⊂_∧@j⊂_∧@a⊂_(↓↓⊂_∧↓
_∧A↓_↓@J_∧@a⊂_↓@J_∧@a⊂_↓j_∧@a⊂_@ip_∧A↓⊂0'@a⊂_¬A p_∧@ip_∧i0⊂@`⊂⊂βi Xα↓ 0A0 %↓ P%@`P0"Q↓r8∪πcp∧↓↓⊂↓Ua λ¬@ 50αa ∧∃ @ βA u(↓A@`0↓ 5(↓B0P↓U@@↓B E ↓B 0H↓U0@αα 5∂Tβu ↓B0H↓T`@@↓B 5_↓B@H↓T`0@↓B E_↓B0H↓T`0@↓B 5⊂αα0H↓T@0H↓BE⊂↓B@@↓@`%⊂↓B0H↓@`%⊂↓B0H↓@@5λαα0H↓@ 5λ↓B@Hβ∀ 0@↓B`Eλ↓B5↓B4X↓`P0↓R@@⊂β↓DPα p_α∩@pλ¬∩`P β⊃(E`πF!1@α@`@_'↓0 &@`@_&`@_%@`@_%@@P⊂%`@_%↓ (%↓@⊂0%↓@⊂0%↓@⊂0%A0 "Q∧ x
αc ↓A4hα@@Thα@@Thα@@Tpα`Dx↓A4x↓↓ $p↓A4h↓A4`↓A4Pα`DP↓A4("! hBP%αHT =D"Pλ¬α∀PλQ(G`⊃I`⊂Pλi"_"}∪] πε`o↔@ ⎇N ⎇N∨␈x␈␈`
?␈x␈⎇`ε↑dλ∂↓[@)⊃⎇H!`β"⊃λλ@{⊂cPεV↔p≤?0"π`pP≡d(
@↓IHMλO⎇HaPβ∧"⊂ 0{⊃cpπ↔r0K←0$π@h\∀@↓/≡dHλrxd@_∂⎇I!(α9Lh50{∩cpπy⊂r␈0&ε XU*`↓␈↑dh∩αλ(∂@ "⎇Iapβ7¬⊂N0{∪cpπ⊃u`↓,←0(ε``Lf@αq≡eλ∂@↓d8W0ε⎇J!hβ1λHh`{∀bp¬"} ↓]␈0*π h,/`βQ↑e(∂↓[@)8L⎇Japβ7¬⊂␈`{∃e _←Pα
←0,π@h\∀@∧;≡eH∂↓[@)H$⎇K!Hαo.λ↓→@{_"P∧g 0α=←01∧`@W¬¬∞↑f_ @↓
p
PF⎇LA(α3P_↓,⊂{→"0∧+B@αd∨03β (pR¬U↑f8 @↓
p
XP⎇M↓(α3P_↓?@{~!Pαx)β
␈05β@0,/`ε&≡fX @↓
p
`q⎇M@X↓≡%H↓T⊂{≠$⊂πMSPβ0?07¬`PE|@ε}↑fx
@↓→h↓@p(⎇N↓(α3P_↓i{≤"0∧+B@β]?09∧ 8←I@πO≡g_λ@{x∪x8⎇N@p↓Kx↓zP{≥"`¬¬∂0β|␈0;∧`@W¬λ∂≡g8
@↓FHh↓C⎇O↓_α∃a α∂⊂{≡"@∧I1@∧&␈0=∧ 8←I@λf≡`@↓:PU@↓λh⎇@∩λβfihα!0{Cpπ⊃u`∧M←0↓F@Xm≥ 7↑` @↓7Pp@↓_→⎇@Qpβ7¬⊂α7 {↓CPεV↔p∧z␈0βG`p#k@
≡`@∞@↓U@←@↓ <⎇A⊃xβHzpαMp{αCPεV↔p¬(␈0⊂C (pR
n↑b_⊂@↓s0N@↓(x⎇DRλβfihαg{ aPαx)¬b␈0∀∧ 8←I@M↑bHλ@{x∪↓8B⎇E!(α3P_α⎇ {
cpπ⊃u`ε↓←0⊗β (pR⊃≡bpε@↑λ$↓@1⎇Eq(α3P_βπ {∞APαx)ε_?0≥C (pR8≡c`ε@↑λ$↓H¬⎇GQxβHzpβ∀{⊂β0ε~:ε*∨0-C (pRs≡ehε@↑λ$↓P
⎇Lh↓<∀@β&P{αP∧g 0εQ∨0_E HN@`
9≡c⊂
@↓→h↓@↓X
⎇F1(α3P_β7P{
αP∧g 0εz?0~E HN@`∞ ↑c0
@↓→h↓@↓`5⎇Fq(α3P_βL⊂{∞αP∧g 0π!∨0≤E HN@`∞W↑a⊂
@↓→h↓@↓h[⎇B1(α3P_β\`{¬αP∧g 0π<∨0
E HN@`∞}↑a0
@↓→h↓@↓p⎇Brλβd5_βb {εβPεV↔pπH?0⊂α` y⊗ ∂⊗↑ep
@↓→h↓@↓p5⎇Kph↓<∀@βh {∨"P∧g 0πR←0?¬ HN@`∂-↑gx
@↓→h↓@↓pf⎇DAxβ@zpβn@{ CPεV↔pπg∨0∨¬ HN@`∂o≡cx
@↓→h↓@α∧=Bh↓<∀@∧¬ {∧!pβ4εpλ⊃?0E`PE|@⊂3≡aP∞@↓U@←@αλ ⎇C1hβ+x∧→ {παP∧g 0λ=←0∞I↓*U ⊃∪↑ap∪@α _5α⊂m⎇CqxβHzp∧6P{αc ¬pQpλ}∨0εε@Xa#`∩∨↑`h
↓<⊂G@α x⎇Ab0∧4=8∧W⊂{βd`λhzp D←0.¬ HN@`∪9↑b⊂
@↓→h↓@α8∞⎇EPx↓Zβ8∧u {≡bP∧g 0 k␈0> `↓⊂↓Z@∪Z←⊂ nX_ow{⎇x